నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి
1
Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

సంవత్సరం:
1993
భాష:
english
ఫైల్:
PDF, 15.50 MB
0 / 0
english, 1993
2
Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

సంవత్సరం:
1992
భాష:
english
ఫైల్:
DJVU, 4.53 MB
5.0 / 4.0
english, 1992
3
Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Handbook of Logic in Computer Science. Volume 3: Semantic Structures

సంవత్సరం:
1994
భాష:
english
ఫైల్:
DJVU, 3.55 MB
5.0 / 4.0
english, 1994
4
Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

సంవత్సరం:
2001
భాష:
english
ఫైల్:
PDF, 24.82 MB
0 / 0
english, 2001
5
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

సంవత్సరం:
1995
భాష:
english
ఫైల్:
DJVU, 4.67 MB
0 / 0
english, 1995
6
Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

సంవత్సరం:
1993
భాష:
english
ఫైల్:
PDF, 33.68 MB
0 / 0
english, 1993
7
Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

సంవత్సరం:
2001
భాష:
english
ఫైల్:
DJVU, 2.64 MB
5.0 / 3.0
english, 2001
8
Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

సంవత్సరం:
1995
భాష:
english
ఫైల్:
PDF, 48.57 MB
0 / 0
english, 1995
9
Mathematical Foundations of Information Flow

Mathematical Foundations of Information Flow

సంవత్సరం:
2012
భాష:
english
ఫైల్:
PDF, 1.78 MB
0 / 0
english, 2012
11
Introduction to Categories and Categorial Logic (draft)

Introduction to Categories and Categorial Logic (draft)

సంవత్సరం:
2011
భాష:
english
ఫైల్:
PDF, 898 KB
0 / 0
english, 2011
16
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

సంవత్సరం:
1983
భాష:
english
ఫైల్:
DJVU, 5.51 MB
0 / 0
english, 1983
18
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

సంవత్సరం:
2001
భాష:
english
ఫైల్:
PDF, 3.84 MB
0 / 0
english, 2001
22
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

సంవత్సరం:
2005
భాష:
english
ఫైల్:
PDF, 4.49 MB
0 / 0
english, 2005
24
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

సంవత్సరం:
1983
భాష:
english
ఫైల్:
PDF, 9.83 MB
0 / 0
english, 1983
35
Dependence Logic: Theory and Applications

Dependence Logic: Theory and Applications

సంవత్సరం:
2016
భాష:
english
ఫైల్:
PDF, 3.48 MB
0 / 0
english, 2016
39
Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983

సంవత్సరం:
1983
భాష:
english
ఫైల్:
DJVU, 4.55 MB
0 / 0
english, 1983
42
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

సంవత్సరం:
1996
భాష:
english
ఫైల్:
DJVU, 2.83 MB
0 / 0
english, 1996
43
Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

సంవత్సరం:
1986
భాష:
english
ఫైల్:
DJVU, 3.68 MB
0 / 0
english, 1986
48
Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

సంవత్సరం:
1986
భాష:
english
ఫైల్:
PDF, 8.74 MB
0 / 0
english, 1986
49
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

సంవత్సరం:
1996
భాష:
english
ఫైల్:
PDF, 6.23 MB
0 / 0
english, 1996
50
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

సంవత్సరం:
2001
భాష:
english
ఫైల్:
PDF, 6.61 MB
0 / 0
english, 2001